many sorted predicate calculus
多种类谓词演算
热门查询
- bewildering adj. 使人困惑的；令人产生混乱的 v. 使迷惑（bewilder的ing形式）
- cohesion n. 凝聚；结合；[力] 内聚力
- proteolytic n. 解朊作用 adj. [生化] 蛋白水解的；解蛋白的
- presidency n. 总统（或董事长、会长、大学校长等）的职位（任期）；管辖；支配
- dullard n. 笨蛋；愚人
- gpa abbr. 通用放大器（General Purpose Amplifier）；客运总经纪人（General Procurement Agent）；平均分数（Grade-Point Average）
- invincibility n. 无敌；不可战胜
- abbreviation n. 缩写；缩写词
- adopter n. 养父母；[化工] 接受管
- intact adj. 完整的；原封不动的；未受损伤的
- Newcomen n. (Newcomen)人名；(英)纽科门
- Laure n. (Laure)人名；(意、芬)劳雷；(法)洛尔
- additional adj. 附加的，额外的
- onwards adv. 向前；在前面
- thinning n. 稀释（thin的现在分词）
- Suleyman n. (Suleyman)人名；(阿拉伯)苏莱曼
- subscore 分项分数
- admissibility n. 可容许；有入场的资格
- configural adj. 构形的
- stumble n. 绊倒；蹒跚而行 vi. 踌躇，蹒跚；失足；犯错 vt. 使…困惑；使…绊倒
